The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bernd Finkbeiner Books

Results for Bernd Finkbeiner

Showing 1 to 3 of 3 results
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 (Lecture Notes in Computer Science) Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 (Lecture Notes in Computer Science) by Bernd Finkbeiner,Geguang Pu,Lijun Zhang

Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings: 9364 (Lecture Notes in Computer Science)

by Bernd Finkbeiner,Geguang Pu,Lijun Zhang


ISBN 13: 9783319249520

Format: Paperback (536 pages)
Publisher: Springer
Published: 30 Dec 2015

Save for later

 
New : $66.53  
New : $66.53
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday: 12180 (Lecture Notes in Computer Science, 12180) Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday: 12180 (Lecture Notes in Computer Science, 12180) by Andreas Blass,Patrick Cégielski,Nachum Dershowitz,Manfred Droste,Bernd Finkbeiner

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday: 12180 (Lecture Notes in Computer Science, 12180)

by Andreas Blass,Patrick Cégielski,Nachum Dershowitz,Manfred Droste,Bernd Finkbeiner


ISBN 13: 9783030480059

Format: Paperback (351 pages)
Publisher: Springer
Published: 23 May 2020

Save for later

 
New : $72.27  
New : $72.27
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182) Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182) by Bernd Finkbeiner,Thomas Wies

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)

by Bernd Finkbeiner,Thomas Wies


ISBN 13: 9783030945824

Format: Paperback (530 pages)
Publisher: Springer
Published: 14 Jan 2022

Save for later

 
New : $96.11  
New : $96.11